SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 21001 - 21040 hits of 21296. Search took 0.61 seconds.
516
516
517
517
518
518
519
519
520
520
521
521
522
522
523
523
524
524
525
525
526
526
527
527
528
528
529
529
530
530
531
531
532
532
533
533

Search results for ocaml :
OpenSuSE 13.X /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/csbuild:/DBA/openSUSE_13.1/i586/dba-graphviz-2202-2.20.2-2.1.i586.rpm
OpenSuSE /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/csbuild:/DBA/SLE_11_SP3/i586/dba-graphviz-2202-2.20.2-2.1.i586.rpm
OpenSuSE /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/csbuild:/DBA/SLE_11_SP1/i586/dba-graphviz-2202-2.20.2-2.1.i586.rpm
OpenSuSE 13.X /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/csbuild:/DBA/openSUSE_13.2/i586/dba-graphviz-2202-2.20.2-2.1.i586.rpm
RedHat EL 5 /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/csbuild:/DBA/RHEL_5/i386/dba-graphviz-2202-2.20.2-2.1.i386.rpm
Mageia 9 /vol/rzm3/linux-mageia/distrib/9/x86_64/media/debug/core/release/coq-ide-server-debuginfo-8.16.1-1.mga9.x86_64.rpm
Mageia Cauldron /vol/rzm3/linux-mageia/distrib/cauldron/x86_64/media/debug/core/release/coq-ide-server-debuginfo-8.16.1-1.mga9.x86_64.rpm
Mageia 9 /vol/rzm3/linux-mageia/distrib/9/i586/media/debug/core/release/coq-ide-server-debuginfo-8.16.1-1.mga9.i586.rpm
Mageia Cauldron /vol/rzm3/linux-mageia/distrib/cauldron/i586/media/debug/core/release/coq-ide-server-debuginfo-8.16.1-1.mga9.i586.rpm
Mageia 9 /vol/rzm3/linux-mageia/distrib/9/x86_64/media/debug/core/release/coq-debuginfo-8.16.1-1.mga9.x86_64.rpm
Mageia Cauldron /vol/rzm3/linux-mageia/distrib/cauldron/x86_64/media/debug/core/release/coq-debuginfo-8.16.1-1.mga9.x86_64.rpm
Mageia 9 /vol/rzm3/linux-mageia/distrib/9/i586/media/debug/core/release/coq-debuginfo-8.16.1-1.mga9.i586.rpm
Mageia Cauldron /vol/rzm3/linux-mageia/distrib/cauldron/i586/media/debug/core/release/coq-debuginfo-8.16.1-1.mga9.i586.rpm
Rawhide /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/debug/tree/Packages/c/coq-core-debuginfo-8.20.1-1.fc42.x86_64.rpm
Fedora 40 /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/40/Everything/x86_64/debug/tree/Packages/c/coq-core-debuginfo-8.18.0-4.fc40.x86_64.rpm
Fedora Other /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/test/41_Beta/Everything/x86_64/debug/tree/Packages/c/coq-core-debuginfo-8.18.0-10.fc41.x86_64.rpm
Fedora Other /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/x86_64/debug/tree/Packages/c/coq-core-debuginfo-8.18.0-10.fc41.x86_64.rpm
Fedora 39 /vol/rzm3/linux-fedora-buffet/fedora/linux/updates/39/Everything/x86_64/debug/Packages/c/coq-core-debuginfo-8.18.0-1.fc39.x86_64.rpm
Fedora 39 /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/39/Everything/x86_64/debug/tree/Packages/c/coq-core-debuginfo-8.17.1-5.fc39.x86_64.rpm
Rawhide /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.20.1-1.fc42.x86_64.rpm
Fedora 40 /vol/rzm3/linux-fedora-buffet/linux/development/40/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.18.0-4.fc40.x86_64.rpm
Rawhide /vol/rzm3/linux-fedora-buffet/linux/development/rawhide/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.18.0-4.fc40.x86_64.rpm
Fedora 40 /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/40/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.18.0-4.fc40.x86_64.rpm
Fedora Other /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/test/41_Beta/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.18.0-10.fc41.x86_64.rpm
Fedora Other /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.18.0-10.fc41.x86_64.rpm
Fedora 39 /vol/rzm3/linux-fedora-buffet/linux/updates/39/Everything/x86_64/debug/Packages/c/coq-coqide-server-debuginfo-8.18.0-1.fc39.x86_64.rpm
Fedora 39 /vol/rzm3/linux-fedora-buffet/fedora/linux/updates/39/Everything/x86_64/debug/Packages/c/coq-coqide-server-debuginfo-8.18.0-1.fc39.x86_64.rpm
Fedora 39 /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/39/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.17.1-5.fc39.x86_64.rpm
Fedora 39 /vol/rzm3/linux-fedora-buffet/linux/releases/39/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.17.1-5.fc39.x86_64.rpm
Fedora 38 /vol/rzm3/linux-fedora-buffet/linux/updates/38/Everything/x86_64/debug/Packages/c/coq-coqide-server-debuginfo-8.17.1-1.fc38.x86_64.rpm
Fedora 38 /vol/rzm3/linux-fedora-buffet/linux/releases/38/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.16.1-3.fc38.x86_64.rpm
Fedora 37 /vol/rzm3/linux-fedora-buffet/linux/updates/37/Everything/x86_64/debug/Packages/c/coq-coqide-server-debuginfo-8.16.1-1.fc37.x86_64.rpm
Fedora 37 /vol/rzm3/linux-fedora-buffet/linux/releases/37/Everything/x86_64/debug/tree/Packages/c/coq-coqide-server-debuginfo-8.16.0-1.fc37.x86_64.rpm
Rawhide /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/rawhide/Everything/s390x/os/Packages/c/coccinelle-examples-1.3-3.fc42.noarch.rpm
Rawhide /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/c/coccinelle-examples-1.3-3.fc42.noarch.rpm
Rawhide /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/rawhide/Everything/ppc64le/os/Packages/c/coccinelle-examples-1.3-3.fc42.noarch.rpm
Rawhide /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/aarch64/os/Packages/c/coccinelle-examples-1.3-3.fc42.noarch.rpm
Fedora Other /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/test/41_Beta/Everything/aarch64/os/Packages/c/coccinelle-examples-1.2-8.fc41.noarch.rpm
Fedora Other /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/aarch64/os/Packages/c/coccinelle-examples-1.2-8.fc41.noarch.rpm
Fedora Other /vol/rzm3/linux-fedora-buffet/fedora-secondary/releases/test/41_Beta/Everything/s390x/os/Packages/c/coccinelle-examples-1.2-8.fc41.noarch.rpm
516
516
517
517
518
518
519
519
520
520
521
521
522
522
523
523
524
524
525
525
526
526
527
527
528
528
529
529
530
530
531
531
532
532
533
533
 
ICM